Finitely coordinated and finitely copresentable affine algebraic sets
نویسندگان
چکیده
منابع مشابه
Separated finitely supported $Cb$-sets
The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...
متن کاملFinitely WellPositioned Sets
We introduce and study nitely well-positioned sets, a class of asymptotically narrowsets that generalize the well-positioned sets recently investigated by Adly, Ernst and Thera [1] and [3], as well as the plastering property of Krasnoselskii [11].
متن کاملAlgebraic lattices and locally finitely presentable categories
We show that subobjects and quotients respectively of any object K in a locally finitely presentable category form an algebraic lattice. The same holds for the internal equivalence relations on K. In fact, these results turn out to be—at least in the case of subobjects—nothing but simple consequences of well known closure properties of the classes of locally finitely presentable categories and ...
متن کاملFinitely Based, Finite Sets of Words
For W a finite set of words, we consider the Rees quotient of a free monoid with respect to the ideal consisting of all words that are not subwords of W . This monoid is denoted by S(W ). It is shown that for every finite set of words W , there are sets of words U ⊃ W and V ⊃ W such that the identities satisfied by S(V ) are finitely based and those of S(U) are not finitely based (regardless of...
متن کاملThe modal logic of affine planes is not finitely axiomatisable
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between lines. We show that the modal logic of af...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2000
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(99)00039-0